home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group01a.txt / 000021_icon-group-sender _Thu May 18 16:24:39 2000.msg < prev    next >
Internet Message Format  |  2002-01-03  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id QAA28120
  4.     for icon-group-addresses; Thu, 18 May 2000 16:23:25 -0700 (MST)
  5. Message-Id: <200005182323.QAA28120@baskerville.CS.Arizona.EDU>
  6. From: "J.R. Sampson" <jsampson@indexes.u-net.com>
  7. To: icon-group@optima.CS.Arizona.EDU
  8. Date: Thu, 18 May 2000 22:52:24 +0100
  9. Subject: Logicon Prolog interpreter
  10. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  11. Status: RO
  12. Content-Length: 1143
  13.  
  14. Hello -
  15.  
  16. I have been looking at Alan Finlay's Prolog interpreter v.4 which Mr 
  17. Van Dorp kindly sent me some time ago.
  18. Impressions so far:
  19. At first I thought it didn't like me, but I have found postings about it 
  20. in the newsgroup file group90a.txt in the newsgroup directory in the 
  21. Icon FTP site. For the first time I was able to enter material to the 
  22. interpreter without it complaining of a syntax error every time - a 
  23. 'Eureka' moment for me as always.
  24.  
  25. There is documentation in group90a.txt for Version 2, but Version 4 
  26. is more advanced, implementing assert and retract clauses etc. I 
  27. have not been able to find the test files test1.plg etc. that are 
  28. mentioned in the postings.
  29.  
  30. Queries should not have spaces after the prefix ':-' or ?-' e.g.
  31. :-predicate,....,predicate. I think on the whole LogIcon does not like 
  32. spaces at all, but I haven't experimented much.
  33.  
  34. I think files for it to 'consult' should strictly be UNIX format text files 
  35. rather than MS-DOS format.
  36.  
  37. The interpreter itself is in the above-mentioned archive file, as well 
  38. as its predecessors, but beware of emailer mangling of the format.
  39.  
  40. Regards
  41.  
  42. _John Sampson_
  43.